Dalam Rust, pencocokan pola bukan hanya cabang alur kontrol—ia adalah arsitektur pengikatan. Setiap kali Anda mendeklarasikan variabel atau mendefinisikan fungsi, Anda sedang melakukan pencocokan pola.

1. Identitas Pengikatan

Ketika kita menulis let x = 5;, kita tidak hanya memberi nilai. Kita sedang mencocokkan nilai 5 terhadap pola yang tak bisa ditolakx. Karena x adalah nama yang dapat mewakili nilai apa pun, maka pencocokan selalu berhasil dan menciptakan pengikatan lokal.

2. Parameter dengan Pola (Daftar 18-6)

Mungkin pemahaman paling mendalam adalah bahwa tanda tangan fungsi adalah pola. Dalam tanda tangan fn foo(x: i32), kode mengharapkan sebuah i32 dan menggunakan pola x untuk mengikat argumen yang masuk. Ini berarti setiap masuk fungsi pada dasarnya adalah peristiwa pencocokan satu lengan.

3. Kebiasaan Pola

Pola meluas di luar match. Mereka muncul dalam for perulangan (membongkar tuple), while let kondisional, bahkan if let ekspresi. Ini Pengikatan Lokal prinsip memastikan bahwa kode Rust secara konsisten ekspresif, baik Anda mengekstrak data dari struktur atau melakukan iterasi pada hashmap.